网络 有限状态机; 有限状态自动机; 状态机; 有穷状态机; 有限自动机
- The finite state machine is a software concept that divides problems into finite states with transitions between them, often triggered by events.
有限状态机是一种软件概念，它将问题分为有限的状态，以及由事件触发的状态之间的转换。 - The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。 - I use a finite state machine in the regular expression is achieved.
我的一个利用有限状态机的正则表达式的实现。 - Protocol analyzing finite state machine plays a very important role in guaranteeing the correctness of protocol analyzing.
协议分析状态机是提高协议分析正确性的重要保证。 - A design approach of finite state machine for survivability control system based on Boolean expression ( BoolSFSM) is proposed.
文章提出一种基于布尔表达式的可生存性控制系统的有限状态机的设计方法。 - L6-Storage Elements, State, Finite State Machine.
储存元件，状态，有限状态机。 - Event reconstruction algorithm based on timed finite state machine
基于时间有限状态自动机的事件重建推理算法 - Finally, we use the trajectory of human and a pre-decided finite state machine to analyze the abnormal of human behavior.
最后，我们使用找出来的移动轨迹以及一个事先定义好的有限状态机来分析人的不正常行为。 - Pulse distributing is designed by finite state machine and the PWM realizes step angles subdivided control.
系统采用有限状态机设计脉冲分配并利用脉宽调制方法实现步距角的细分控制。 - The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。 - Research on Simulation of Fuzzy Control of Antilock Braking System Based on Finite State Machine Theory
基于有限状态机理论的ABS模糊控制仿真研究 - Loosely speaking, model checking is a way to check for the existence of a finite state machine ( specification) in another finite state machine ( program).
不严格地说，模型检查是在一个有限状态机器（程序）中检验另一个有限状态机器（清单）存在性的一个方法。 - Design of Traffic Light Control System based on VHDL Finite State Machine
基于VHDL语言有限状态机的交通灯控制系统设计 - This paper puts forward a design of software System Framework of the signaling data simulation tester based on the technology of multithreading, finite state machine and dynamic link library.
本文采用多线程、有限状态机和动态链接库技术设计一种信令数据仿真测试仪的软件体系结构。 - High error-resilient digital demultiplexing using finite state machine
基于有限状态自动机的高容错数字分接算法 - The program being checked is also converted to a finite state machine, created by abstracting away all the details except the atomic predicates observed in the program.
被检查的程序也被转换为一个有限状态机器，通过摘掉所有细节、保留程序中被观测的原子谓词。 - A finite state machine can only be in one state at any moment in time.
有限状态机在任一时刻都只能够处于一种状态中。 - Aligning Method for Workpiece of CNC EDM Machine Based on Finite State Machine
基于有限状态机原理的数控电火花机床工件找正方法 - Finite state machine based specification for schedule and synchronization is presented.
给出了基于有限状态机的调度和同步描述。 - Realization of finite state machine model in group artificial intelligence animation
群体动画中的有限状态机模型及其实现 - A Method of Test Case Genernation for Web Services Based on Finite State Machine
基于有限状态机的Web服务测试用例生成方法 - Fault detection based on extended finite state machine model
基于扩展有限状态机模型的故障检测 - Information-lossless finite state machine
信息无丢失有限自动机 - Finite state machine is refers to the output depends on the past input part and the current input portion of temporal logic circuit.
用程序实现状态机功能，有限状态机是指输出取决于过去输入部分和当前输入部分的时序逻辑电路。 - A method of using finite state machine to design human-machine interface based on liquid crystal is proposed by analyzing the special character of state transition of finite state machine.
通过分析有限状态机状态转移的特性，提出了利用有限状态机设计液晶显示人机界面的方法。 - The characteristics of digital voice short energy and ZRC is studied, and a new voice activity detection algorithm based on finite state machine is presented.
研究了数字语音短时能量和过零率特点，提出了基于有限状态机的端点检测新算法。 - A navigation system model by using a finite state machine is described.
文中还描述了一个以有穷状态机为工具的导航系统模型。 - A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。 - Meanwhile, we also made use of the finite state machine inference algorithm.
同时，我们还提出了利用有限状态机进行推理的算法。 - The object system includes kinematics system, path finding algorithm, finite state machine and 3D model support.
游戏物体系统包含了运动学体系、路径寻找算法、有限状态机和模型动画。